What is Algebraic about Algebraic Effects?
interjectedfuture.com·16h
✨Algebraic Effects
FACTORS: Factorial Approximation for Complementary Two-factor Optimization with Risk-aware Scoring
arxiv.org·4h
🧠Machine Learning
Balance between refactoring and inheritance in your code
github.com·20h·
Discuss: Hacker News
✅Format Verification
GuitarPie: Electric Guitar Fretboard Pie Menus
andreasfender.com·17h·
Discuss: Hacker News
📟Terminal Physics
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Greyscale-box test-driven development
blog.ploeh.dk·13h
🧪Property-Based Testing
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·10h
⚡Proof Automation
Metrics that Matter: Outcomes Over Outputs • Gabrielle Benefield • YOW! 2014
youtube.com·20h
🔄Reproducible Builds
Semantic Dictionary Encoding
falvotech.com·17h·
Discuss: Hacker News
🌀Brotli Dictionary
AI-written software Is booming: can you trust the vibe?
techradar.com·1h
📏Code Metrics
Productive AI Programming Using Forced Context Distillation
jx0.ca·19h·
Discuss: Hacker News
⚡Proof Automation
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
How to Debug Chez Scheme Programs (2002)
scheme.com·10h·
Discuss: Hacker News
📜Proof Carrying Code
The power of dynamic causality in observer-based design for soft sensor applications
arxiv.org·4h
✨Algebraic Effects
Programming Deflation
tidyfirst.substack.com·17h·
Discuss: Substack
⚙️Proof Engineering
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
Implementing the Coffee Machine Project in Python Using Object Oriented Programming
towardsdatascience.com·13h
🔗Constraint Handling
Machine Scheduler in LLVM
myhsu.xyz·31m·
Discuss: Hacker News
⚙️RISC-V Microcode
Show HN: Building an open-source agentic terminal
davehudson.io·15h·
Discuss: Hacker News
📟Terminals
SOLID Principles for Python Developers
dev.to·17h·
Discuss: DEV
💻Programming languages